Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical linguistics --- Communication [Théorie de la ] --- Communication theory --- Informatietheorie --- Information theory --- Langage [Sciences du ] --- Langage [théorie du ] --- Langage et langues --- Language and languages --- Linguistic science --- Linguistics --- Linguistique --- Linguïstiek --- Mathematics --- Mathématiques --- Science of language --- Sciences du langage --- Taal en talen --- Taalkunde --- Taalwetenschap --- Théorie de l'information --- Théorie de la communication --- Théories du langage --- Wiskunde --- Linguistique mathématique --- Information theory. --- Language and languages. --- Linguistics. --- Mathematics. --- Math --- Science --- Foreign languages --- Languages --- Anthropology --- Communication --- Ethnology --- Meaning (Psychology) --- Philology --- Cybernetics --- Théorie de l'information --- Linguistique mathématique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer science --- -681.3*A0 --- Informatics --- Science --- Congresses --- General --- 681.3*A0 General --- 681.3*A0 --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Combinatorics. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Combinatorics --- Algebra --- Mathematical analysis --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Communication theory --- Communication --- Cybernetics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In this provocative and ground-breaking book, Keith Devlin argues that in order to obtain a deeper understanding of the nature of intelligence and knowledge acquisition, we must broaden our concept of logic. Classical logic, beginning with the work of Aristotle, has developed into a powerful and rigorous mathematical theory with many applications in mathematics and computer science, but it has proved woefully inadequate in the search for artificial intelligence. The new kind of logic, also mathematically based, outlined by Professor Devlin is the culmination of collaborative research among some of the world's leading logicians, philosophers, linguists, psychologists, and computer scientists. It introduces the concepts of infon, a quantum of information, and situations, a dynamical generalization of sets, and is capable of handlng the issues involved in human communication, thought, speech, and machine information processing.

Information theory --- -Situation (Philosophy) --- Ontology --- Philosophy --- Relativity --- Communication theory --- Communication --- Cybernetics --- Mathematics --- Logic. --- Situation (Philosophy) --- Mathematics. --- Situation (Philosophy). --- Situatie (Filosofie) --- Situation (Philosophie) --- Théorie de l'information --- Logic --- Théorie de l'information --- Logique --- Mathématiques --- Information theory - Mathematics. --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Nonclassical mathematical logic --- Mathematical models --- Logique mathématique non classique. --- Modèles mathématiques. --- Information, Théorie de l'. --- Situation (philosophie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is the first-ever book on computational group theory. It provides extensive and up-to-date coverage of the fundamental algorithms for permutation groups with reference to aspects of combinatorial group theory, soluble groups, and p-groups where appropriate. The book begins with a constructive introduction to group theory and algorithms for computing with small groups, followed by a gradual discussion of the basic ideas of Sims for computing with very large permutation groups, and concludes with algorithms that use group homomorphisms, as in the computation of Sylowsubgroups. No background in group theory is assumed. The emphasis is on the details of the data structures and implementation which makes the algorithms effective when applied to realistic problems. The algorithms are developed hand-in-hand with the theoretical and practical justification.All algorithms are clearly described, examples are given, exercises reinforce understanding, and detailed bibliographical remarks explain the history and context of the work. Much of the later material on homomorphisms, Sylow subgroups, and soluble permutation groups is new.

Group theory --- Computer science --- Algorithmes --- Algorithms --- Algoritmen --- Permutatiegroepen --- Permutation [Groupes de ] --- Permutation groups --- Permutation groups. --- Algorithms. --- Groupes de permutations --- 681.3*I12 --- Substitution groups --- Algorism --- Algebra --- Arithmetic --- Algorithms: algebraic algorithms; nonalgebraic algorithms; analysis of algorithms (Algebraic manipulation; computing methodologies) --- Foundations --- 681.3*I12 Algorithms: algebraic algorithms; nonalgebraic algorithms; analysis of algorithms (Algebraic manipulation; computing methodologies) --- Information theory. --- Group theory. --- Computer software. --- Combinatorics. --- Theory of Computation. --- Group Theory and Generalizations. --- Discrete Mathematics. --- Symbolic and Algebraic Manipulation. --- Algorithm Analysis and Problem Complexity. --- Data processing. --- Combinatorics --- Mathematical analysis --- Software, Computer --- Computer systems --- Groups, Theory of --- Substitutions (Mathematics) --- Communication theory --- Communication --- Cybernetics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume gives the proceedings of WG '90, the 16th in a series of workshops. The aim of the workshop series is to contribute to integration in computer science by applying graph-theoretic concepts. The workshops are unusual in that they combine theoretical aspects with practice and applications. The volume is organized into sections on: - Graph algorithms and complexity, - VLSI layout, - Multiprocessor systems and concurrency, - Computational geometry, - Graphs, languages and databases, - Graph grammars. The volume contains revised versions of nearly all the papers presented at the workshop. Several papers take the form of preliminary reports on ongoing research.

Algorithmes --- Graphes, Théorie des --- Informatique --- 681.3*A0 --- General --- 681.3*A0 General --- Graph theory --- Congresses --- Algorithms --- Computer science --- Graph theory - Congresses. --- Algorithms - Congresses. --- Computer science - Congresses. --- Information theory. --- Computer software. --- Combinatorics. --- Computer science. --- Data structures (Computer scienc. --- Logic design. --- Theory of Computation. --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- Data Structures. --- Logic Design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Combinatorics --- Algebra --- Mathematical analysis --- Software, Computer --- Computer systems --- Communication theory --- Communication --- Cybernetics --- Graph theory. --- Parallel programming (Computer science) --- Algorithmes - Congres --- Graphes, Théorie des - Congres --- Informatique - Congres --- Geometry-data processing --- Vlsi